Injective and automorphism-invariant non-singular modules

Every automorphism-invariant non-singular right A-module is injective if and only if the factor ring of the ring A with respect to its right Goldie radical is a right strongly semiprime ring.     

三维位势问题的梯度边界积分方程的新解法

三维位势问题的边界元分析中,关于坐标变量的边界位势梯度的计算是一个困难的问题. 已有一些方法着手解决这个问题,然而,这些方法需要复杂的理论推导和大量的数值计算. 本文提出求解一般边界位势梯度边界积分方程的辅助边值问题法. 该方法构造了与原边界值问题具有相同解域的辅助边值问题,该辅助边值问题具有已知解,因此通过求解此辅助边值问题,可获得梯度边界积分方程对应的系统矩阵,然后将此系统矩阵应用于求解原边值问题,求解过程非常简单,只需求解一个线性系统即可获得原边值问题的解. 值得注意的是,在求解原边值问题时,不再需要重新计算系统矩阵,因此辅助边值问题法的效率并不很差. 辅助边值问题法避免了强奇异积分的计算,具有数学理论简单、程序设计容易、计算精度高等优点,为坐标变量梯度边界积分方程的求解提供了一个新的途径. 3个标准的数值算例验证了方法的有效性.      

There is no (95, 40, 12, 20) strongly regular graph

We show that there is no (95, 40, 12, 20) strongly regular graph and, consequently, there is no (96, 45, 24, 18) strongly regular graph, no nontrivial regular two‐graph on 96 vertices, and no partial geometry pg(4, 9, 2). The main idea of the result is based on the star complement technique and requires a moderate amount of computation.     

High‐temperature superconductivity and long‐range order in strongly correlated electronic systems

A selective review of the question of how repulsive electron correlations might give rise to off‐diagonal long‐range order (ODLRO) in high‐temperature superconductors is presented. The article makes detailed explanations of the relevance to superconductivity of reduced electronic density matrices and how these can be used to understand whether ODLRO might arise from Coulombic repulsions in strongly correlated electronic systems. Time‐reversed electron pairs on alternant Cuprate and the iron‐based pnictide and chalcogenide lattices may have a weak long‐range attractive tail and much stronger short‐range repulsive Coulomb interaction. The long‐range attractive tail may find its origin in one of the many suggested proposals for high‐T_c superconductivity and thus has an uncertain origin. A phenomenological Hamiltonian is invoked whose model parameters are obtained by fitting to experimental data. A detailed summary is given of the arguments that such interacting electrons can cooperate to produce a superconducting state in which time‐reversed pairs of electrons effectively avoid the repulsive hard‐core of the Coulomb interaction but reside on average in the attractive well of the long‐range potential. Thus, the pairing of electrons itself provides an enhanced screening mechanism. The alternant lattice structure is the key to achieving robust high‐temperature superconductivity with dx²‐y² or sign alternating s‐wave or s± condensate symmetries in cuprates and iron‐based compounds. Some attention is also given to the question first raised by Leggett as to where the Coulombic energy is saved in the superconducting transition in cuprates. A mean‐field‐type model in which the condensate density serves as an order parameter is discussed. Many of the observed trends in the thermal properties of cuprate superconductors are reproduced giving strong support for the proposed model for high‐temperature superconductivity in such strongly correlated electronic systems. © 2015 Wiley Periodicals, Inc.     

Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.     

Multiple Scales via Galerkin Projections: Approximate Asymptotics for Strongly Nonlinear Oscillations

The method of multiple scales and the related method of averaging are commonly used tostudy slowly modulated oscillations. If the system of interest is a slightlyperturbed harmonic oscillator, then these techniques can be applied easily. If the unperturbed system is strongly nonlinear (though possiblyconservative), then these methods can run into difficulties due to the impossibilityof carrying out required analytical operations in closed form.In this paper, we abandon the requirement of closed form analyticaltreatment at all stages. Instead, Galerkin projections are used toobtain approximate realizations of the method of multiple scales. Thispaper adapts recent work using similar ideas for approximaterealizations of the method of averaging. A key contribution of thepresent work is in the systematic identification and removal of secularterms in the general nonlinear case, a procedure that is more difficultthan for the perturbed harmonic oscillator case, and that is unnecessaryfor averaging.A strength of the present work is that the heuristics (Galerkin)and asymptotics (multiple scales) are kept distinct,leaving room for systematic refinement of the formerwithout compromising the asymptotic features of the latter.     

The Existence Stability and Approximate Expressions of Periodic Solutions of Strongly Nonlinear Nonautonomous Systems with Multi-Degree-of-Freedom

Based upon the conservation of average energy a theorem about the periodic solutions of strongly nonlinear nonautomous systems with multi-degree-of freedom is proved. This theorem can not only decide the existence and stability of the periodic solutions, but at the same time can also give their first-order and second-order approximate expressions.     

三维间断位移法及强奇异和超奇异积分的处理方法

从积分方程Somigliana等式出发,导出三维状态下单位位错集度的基本解.在此基础上,建立了边界积分方程,并给出了其离散形式.对强奇异和超奇异积分,采用了Hadamard定义的有限部分积分来处理.最后,给出了计算裂纹应力强度因子的算例,并与解析解进行了比较,证实了该方法的有效性.     

REMARK ON STABILITY OF ISHIKAWA ITERATIVE PROCEDURES

1　ＩｎｔｒｏｄｕｃｔｉｏｎａｎｄＰｒｅｌｉｍｉｎａｒｉｅｓＳｕｐｐｏｓｅＥｉｓａｒｅａｌＢａｎａｃｈｓｐａｃｅａｎｄＴｉｓａｓｅｌｆｍａｐｏｆＥ .Ｓｕｐｐｏｓｅｘ0 ∈Ｅａｎｄｘｎ+1=ｆ(Ｔ ,ｘｎ)ｄｅｆｉｎｅｓａｎｉｔｅｒａｔｉｏｎｐｒｏｃｅｄｕｒｅｗｈｉｃｈｙｉｅｌｄｓａｓｅｑｕｅｎｃｅｏｆｐｏｉｎｔｓ ｘｎ ∞ｎ=0 ｉｎＥ .Ｆｏｒａｎｅｘａｍｐｌｅ ,ｔｈｅｆｕｎｃｔｉｏｎｉｔｅｒａｔｉｏｎｘｎ+1=ｆ(Ｔ ,ｘｎ) =Ｔｘ0 .ＳｕｐｐｏｓｅＦ(Ｔ) =ｘ∈Ｅ :Ｔｘ=ｘ ≠ ａｎｄｔｈａｔ ｘｎ ｃｏｎｖｅｒｇｅｓｓ…